Parallel and distributed Gr\"obner bases computation in JAS

This paper considers parallel Gr\"obner bases algorithms on distributed memory parallel computers with multi-core compute nodes. We summarize three different Gr\"obner bases implementations: shared memory parallel, pure distributed memory parallel and distributed memory combined with shared memory parallelism. The last algorithm, called distributed hybrid, uses only one control communication channel between the master node and the worker nodes and keeps polynomials in shared memory on a node. The polynomials are transported asynchronous to the control-flow of the algorithm in a separate distributed data structure. The implementation is generic and works for all implemented (exact) fields. We present new performance measurements and discuss the performance of the algorithms.Comment: 14 pages, 8 tables, 13 figure

Sensor-based augmented visual feedback for coordination training in healthy adults: a scoping review.

INTRODUCTION Recent advances in sensor technology demonstrate the potential to enhance training regimes with sensor-based augmented visual feedback training systems for complex movement tasks in sports. Sensorimotor learning requires feedback that guides the learning process towards an optimal solution for the task to be learned, while considering relevant aspects of the individual control system-a process that can be summarized as learning or improving coordination. Sensorimotor learning can be fostered significantly by coaches or therapists providing additional external feedback, which can be incorporated very effectively into the sensorimotor learning process when chosen carefully and administered well. Sensor technology can complement existing measures and therefore improve the feedback provided by the coach or therapist. Ultimately, this sensor technology constitutes a means for autonomous training by giving augmented feedback based on physiological, kinetic, or kinematic data, both in real-time and after training. This requires that the key aspects of feedback administration that prevent excessive guidance can also be successfully automated and incorporated into such electronic devices. METHODS After setting the stage from a computational perspective on motor control and learning, we provided a scoping review of the findings on sensor-based augmented visual feedback in complex sensorimotor tasks occurring in sports-related settings. To increase homogeneity and comparability of the results, we excluded studies focusing on modalities other than visual feedback and employed strict inclusion criteria regarding movement task complexity and health status of participants. RESULTS We reviewed 26 studies that investigated visual feedback in training regimes involving healthy adults aged 18-65. We extracted relevant data regarding the chosen feedback and intervention designs, measured outcomes, and summarized recommendations from the literature. DISCUSSION Based on these findings and the theoretical background on motor learning, we compiled a set of considerations and recommendations for the development and evaluation of future sensor-based augmented feedback systems in the interim. However, high heterogeneity and high risk of bias prevent a meaningful statistical synthesis for an evidence-based feedback design guidance. Stronger study design and reporting guidelines are necessary for future research in the context of complex skill acquisition

A systems perspective on A3L

In this paper we summarize some aspects of the development of computer algebra systems from the last 25 years. We focus on Aldes/SAC-2, MAS and some new developments in Java. It will turn out that computer algebra can more and more use standard software developed in computer science to reach its goals. In this systems theories of Volker Weispfenning have been implemented to varying degrees.

On the design of a Java computer . . .

This paper considers Java as an implementation language for a starting part of a computer algebra library. It describes a design of basic arithmetic and multivariate polynomial interfaces and classes which are then employed in advanced parallel and distributed Groebner base algorithms and applications. The library is type-safe due to its design with Java’s generic type parameters and thread-safe using Java’s concurrent programming facilities